The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

In the contemporary anthropological discourse, the general subjects of temporality and aesthetics, as form of cognition, turn out to be the neuralgic points through which the question of the human existence is considered in many approaches to human being (cognitive, ethical, ontological or theological). In the philosophical system of the French post-modern thinker Jean-François Lyotard (1924-1998) these two issues are deeply interlaced leading to new and original solutions of the above-mentioned question. The aim of the contribution is to reconstruct the (...) interconnection between temporality and aesthetics in the thought of this philosopher showing Lyotard’s aesthetic structures of temporality as a central contribution to the post-modern subjectivity theory. (shrink)

The JTB definition of knowledge has been shown by Gettier to be incomplete: its three conditions are necessary for knowledge, but not sufficient. We argue that the JTB definition can be completed with a very simple fourth condition, namely that the justification for the belief in p must be sufficient to exclude ¬p. It is shown that the resulting JTB+S definition solves the Gettier problem.

Le XI.ème Congrès International de Philosophie Médiévale de la Société Internationale pour l’Étude de la Philosophie Médiévale (S.I.E.P.M..) s’est déroulé à Porto (Portugal), du 26 au 30 août 2002, sous le thème général: Intellect et Imagination dans la Philosophie Médiévale. A partir des héritages platonicien, aristotélicien, stoïcien, ou néo-platonicien (dans leurs variantes grecques, latines, arabes, juives), la conceptualisation et la problématisation de l’imagination et de l’intellect, ou même des facultés de l’âme en général, apparaissaient comme une ouverture possible pour aborder (...) les principaux points de la pensée médiévale. Les Actes du congrès montrent que « imagination » et « intellect » sont porteurs d’une richesse philosophique extraordinaire dans l’économie de la philosophie médiévale et de la constitution de ses spécificités historiques. Dans sa signification la plus large, la théorisation de ces deux facultés de l’âme permet de dédoubler le débat en au moins six grands domaines: — la relation avec le sensible, où la fantaisie/l’imagination joue le rôle de médiation dans la perception du monde et dans la constitution de la connaissance ; — la réflexion sur l’acte de connaître et la découverte de soi en tant que sujet de pensée ; — la position dans la nature, dans le cosmos, et dans le temps de celui qui pense et qui connaît par les sens externes, internes et par l’intellect ; — la recherche d’un fondement pour la connaissance et l’action, par la possibilité du dépassement de la distante proximité du transcendant, de l’absolu, de la vérité et du bien ; — la réalisation de la félicité en tant qu’objectif ultime, de même que la découverte d’une tendance au dépassement actif ou mystique de toutes les limites naturelles et des facultés de l’âme ; — la constitution de théories de l’image, sensible ou intellectuelle, et de ses fonctions. Les 3 volumes d’Actes incluent les 16 leçons plénières et 112 communications, ainsi que les index correspondants (manuscrits ; noms anciens et médiévaux ; noms modernes ; auteurs). Le volume IV des Actes, contenant 39 communications et des index, est publié par la revue " Mediaevalia. Textos e Estudos ", du Gabinete de Filosofia Medieval de l’Universidade do Porto (volume 23, de 2004). Ouvrage publié avec l’appui de l’Universidade do Porto, de la Faculdade de Letras da U.P., du Departamento de Filosofia - F.L.U.P. et de la Fundação para a Ciência e a Tecnologia (Portugal). (shrink)

El presente ensayo se circunscribe dentro de la bioética, pues desarrolla un análisis al caso del español Ramón Sampedro, reflexionando las tensiones que se generan a partir de su deseo de muerte asistida, como mecanismo para alcanzar la muerte digna. La novedad del presente estudio radica en la utilización del principio de la alteridad y el contextual, sin acudir a los principios de Tom L. Beauchamp y James F. Childress, con el objetivo de establecer un parámetro de análisis alterno a (...) casos similares. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might plausibly (...) get selected in the challenge cases. (shrink)

What considerations place genuine constraints on an adequate semantics for normative and evaluative expressions? Linguists recognize facts about ordinary uses of such expressions and competent speakers’ judgments about which uses are appropriate. The contemporary literature reflects the widespread assumption that linguists don’t rely upon an additional source of data—competent speakers’ judgments about possible disagreement with hypothetical speech communities. We have several good reasons to think that such judgments are not probative for semantic theorizing. Therefore, we should accord these judgments no (...) probative value for the development of a semantics for our moral terms. Such judgments can no longer be presumed to put pressure on theories according to which our moral expressions share a semantics with ordinary, descriptive terms. Many rivals to pure, Descriptivist theories count among their advantages the ability to accommodate these judgments. If these judgments have no probative value, such theories lose an important source of support. (shrink)

Thе оutbrеаk оf thе соrоnаvirus disеаsе 2019 (СОVID-19) саusing milliоns оf pеоplе tо bе infесtеd hаs pоsеd mаjоr publiс hеаlth аnd gоvеrnаnсе сhаllеngеs. This study еvаluаtеs thе еxtеnt tо whiсh thе unаvаilаbility оf intеrnеt fоr сhildrеn tо lеаrn оnlinе during thе pаndеmiс аffесts pаrеntаl psyсhоlоgiсаl wеllbеing. Wе find thаt pаrеnts hаving nо intеrnеt fоr thеir сhildrеn tо lеаrn оnlinе during tо thе pаndеmiс аrе 40.37, 47.22, 43.68, аnd 46.90 pеrсеntаgе pоints mоrе likеly tо fееl аnxiоus, wоrriеd, displеаsеd, аnd dеprеssеd еvеry (...) dаy. Thе study саlls fоr thе еxpаnsiоn оf suppоrts fоr сhildrеn аnd fаmiliеs during thе pаndеmiс, еspесiаlly fоr disprоpоrtiоnаtеly аffесtеd соmmunitiеs. (shrink)

This study brings light to the concepts of State and Government in the thought of Marsilio de Padua pointing out to profoundly modern institutions present in the reflection of this medieval philosopher. We attempt to show that Marsilio de Padua reflects based on Aristotle´s categories, but proposes a State and Government conception different from that common place of medieval politics as he insists on the need of the popular consent as a criterion of political legitimacy. -/- O estudo explicita os (...) conceitos de Estado e de Governo no pensamento de Marsílio de Pádua apontando as intuições profundamente modernas presentes na reflexão desse filósofo medieval. Procuramos mostrar que Marsílio reflete com categorias aristotélicas, mas propõe uma concepção de Estado e de Governo que se distancia do lugar comum da reflexão política medieval ao insistir na necessidade do consentimento dos súditos como critério de legitimidade política. (shrink)

The problem of Divine hiddenness, or the hiddenness problem, is more and more commonly being treated as independent of the problem of evil, and as rivalling the latter in significance. Are we in error if we acquiesce in these tendencies? Only a careful investigation into relations between the hiddenness problem and the problem of evil can help us see. Such an investigation is undertaken here. What we will find is that when certain knots threatening to hamper intellectual movement are unravelled, (...) the hiddenness problem emerges as a contender in its own right—one that may generate serious difficulties for theism regardless of conclusions drawn concerning the force of the problem of evil. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical semantics is correct. (...) These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

P.F. Strawson (1919-2006) was one of the most significant philosophers of the twentieth-century. His career centred around Oxford – first as Tutor and Fellow at University College, then as Waynflete Professor of Metaphysical Philosophy at Magdalen College. His careful, thoughtful, and characteristically elegant written work was influential in moving Oxford philosophy from the anti-metaphysical leanings of A.J. Ayer and J.L. Austin to a renewed and rejuvenated era of traditional philosophy theorising, albeit domesticated in a distinctively Strawsonian fashion. His influence on (...) British philosophy persists through a generation of students who were brought up on his writings. (shrink)

Our question is: can we embed minimal negation in implicative logics weaker than I→? Previous results show how to define minimal negation in the positive fragment of the logic of relevance R and in contractionless intuitionistic logic. Is it possible to endow weaker positive logics with minimal negation? This paper prooves that minimal negation can be embedded in even such a weak system as Anderson and Belnap’s minimal positive logic.

One of the Machiavelli's most famous and innovative thesis states that good laws arise from social conflicts, according to the Roman Empire example of the opposition between plebs and nobles. Conflicts are able to bring about order in virtue of the characteristic constrictive force of necessity, which prevents the ambition to prevail. Nonetheless, law does not neutralize the conflict; just give it a regulation. So, law is subjected to history, to the continuous change, which means that it is potentially corruptible. (...) On this account, Machiavelli says that a State can only maintain its authority through a continuous return to the originary moment, viz. to the revival of the experiences of "fear", "terror" and "punishment" lived in the originary event of the foundation. For that reason, in the origin of law is also the violence, whose combined function is to provide legitimacy to its exercise by the State apparatus as the only form to preserve political life from ruin.Uma das mais famosas e inovadoras teses de Maquiavel é a afirmação de que as boas leis nascem dos conflitos sociais, segundo o exemplo romano das oposições entre plebe e nobres. Os conflitos são capazes de produzir ordem por conter a força constritiva própria da necessidade, que impede a ambição de reinar. Contudo, a lei não neutraliza o conflito, mas apenas lhe dá uma ordenação. A lei está, pois, exposta à história, à contínua mudança, o que significa dizer que é potencialmente corruptível. Por causa desta possibilidade, Maquiavel afirma que um Estado somente mantém sua autoridade por meio de um retorno contínuo ao momento da origem, isto é, à revivência da experiência do "medo", do "terror" e da "punição" do acontecimento originário da fundação. Assim, na origem da lei está a violência, cuja função é proporcionar a legitimação de seu exercício pelo aparato estatal como única forma de preservar da ruína a vida política. (shrink)

In this paper I argue that given the present state of relevant inquiry, the facts of religious diversity justify religious skepticism. Because of the diversity of religious claims, the denial of any detailed religious proposition is equivalent to a large disjunction of alternative claims. The same is true of the denial of metaphysical naturalism. And having typically acquired no detailed understanding of the whole panoply of religious views, religious believers and metaphysical naturalists are rarely in a position to judge, of (...) any such disjunction, how likely it is to be true. Now the investigative deficit here might conceivably be oversome, but the paper concludes by showing that even where it is overcome, we remain in conditions supporting religious skepticism because of the evolutionary immaturity of our species, which prevents us from being in a position to judge whether religious diversity as humans in the future – or some future species – will know it includes ideas about the Divine trumping any contrary ideas of today. (shrink)

For Machiavelli, religion is valued not by the importance of its founder, the content of its teachings, the truth of its dogmas or the significance of its rites. It is not the essence of what really matters but its function and importance for collective life. Religion teaches to recognize and respect political rules through the religious commandments. This collective norm could assume the outer coercive aspect of the military discipline as well as the inner persuasive character of civic and moral (...) education for the production of collective consensus. -/- Para Maquiavel, o que confere valor a uma religião não é a importância de seu fundador, o conteúdo dos ensinamentos, a verdade dos dogmas ou a significação dos mistérios e ritos. Importa não a essência da religião e sim sua função e importância para a vida coletiva. A religião ensina a reconhecer e a respeitar as regras políticas a partir do mandamento religioso. Essa norma coletiva pode assumir tanto o aspecto coercivo exterior da disciplina militar ou da autoridade política quanto o caráter persuasivo interior da educação moral e cívica para a produção do consenso coletivo. (shrink)

Using semi-structured interviews and an analytic approach based on the grounded theory, this research took on constructing an understanding of the socio-emotional relevance, and the meaning that a group of elder participants of CIAM «Lucía Salas Romo» of Quilicura (Santiago, Chile) ascribe to social discourses regarding aging. Findings showed that, mobilizing the semantic dissonance between what society promotes and the effective opportunities it allows for the elderly, there are two crucial components of the social discourse: social injustice and fear of (...) dependency. In turn, these play a central role in elder affectivity and the reformulation of identity during this developmental stage for this group (DOI: 10.33264/rpa.202101). (shrink)

In philosophy of science, several views have been espoused on the meaning of the term 'theory'; among these are the syntactic view and the semantic view. But even after decades of debate, no consensus has been reached on an all-encompassing positively defined view on theories. Here we take that to mean that the outcome of the debate is that such an all-encompassing view is nonexisting. Correspondingly, the purpose of this paper is to present a pluralist view on theories: it is (...) negatively defined, yet it may break the deadlock in the ongoing debate on the meaning of 'theory'. (shrink)

The spread of misinformation and fake news raises important problems for our society and for our democracy. From the January 6 attack on the U.S. Capitol to vaccine hesitancy, from suppressing voter turnout to peddling conspiracy theories, we know that these problems are real and need to be taken seriously. While misinformation is not a new problem for democracy, it can spread more quickly and easily because of new media’s design and popularity. Given these problems, it is encouraging that some (...) technology companies are taking steps to reduce the spread of misinformation and fake news on the platforms they manage. Despite this seemingly positive development, some scholars have criticized some interventions designed to combat the spread of misinformation and fake news as paternalistic. For example, a 2019 Facebook intervention called Click-Gap aimed to reduce the amount of low-quality content (including fake news and misinformation) that users see on their NewsFeed. Click-Gap has been criticized as an instance of epistemic paternalism because it was adopted (1) with the goal of improving the epistemic status of its users and (2) irrespective of what the company believed the wishes of its users to be. If interventions like Click-Gap are problematic because paternalistic, those of us interested in the ethics of technology would face a dilemma—either endorse technology companies treating their users paternalistically or endorse their failing to act to combat the spread of misinformation and fake news on their platforms. Both options seem to me to be problematic. While paternalism may sometimes be permissible, I think we should be very hesitant to endorse a paternalistic relationship between technology companies and their users. The relationship does not seem to bear the right sort of structure to one in which paternalism might be appropriate, if it ever is. The second option seems, if anything worse: surely technology companies should not stand by and change nothing about their platforms despite the spread of misinformation and fake news in those spaces. In this paper, I argue that Click-Gap and interventions like it are not paternalistic, contrary to the conclusion of other scholars. Further, I will argue that the focus on paternalism itself is actually a red herring here. While not just any intervention or strategy that purports to reduce fake news and misinformation is permissible, we should want technology companies to take user well-being seriously and be able to take that well-being as a direct reason for action. Their doing so is not paternalistic nor even morally problematic, and it should not be criticized as such. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that the (...) EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

Here we focus on two questions: What is the proper semantics for deontic modal expressions in English? And what is the connection between true deontic modal statements and normative reasons? Our contribution towards thinking about the first, which makes up the bulk of our paper, considers a representative sample of recent challenges to a Kratzer-style formal semantics for modal expressions, as well as the rival views—Fabrizio Cariani’s contrastivism, John MacFarlane’s relativism, and Mark Schroeder’s ambiguity theory—those challenges are thought to motivate. (...) These include the Professor Procrastinate challenge to Inheritance (the principle that ‘If ought p and p entails q, then ought q), as well as Parfit’s miners puzzle regarding information-sensitive deontic modals. Here we argue that a Kratzer-style view is able to meet all of the challenges we’ll consider. In addition, we’ll identify challenges for each of those rival views. Our overall conclusion is that a Kratzer-style semantics remains the one to beat. With this assumption in place, we then ask how we should understand the relationship between true deontic modal statements and normative reasons. Should, for example, we hold that the truth of such a statement entails the existence of a normative reason for some agent to comply? Here we argue that, in many cases, acceptance of Kratzer’s semantics for deontic modals leaves open for substantive normative theorizing the question of whether an agent has a normative reason to comply with what she ought to do. (shrink)

God, free will, and time: the free will offense part II Content Type Journal Article Category Article Pages 1-10 DOI 10.1007/s11153-011-9328-z Authors J. L. Schellenberg, Mount Saint Vincent University, 166 Bedford Highway, Halifax, NS B3M2J6, Canada Journal International Journal for Philosophy of Religion Online ISSN 1572-8684 Print ISSN 0020-7047.

Pseudoskepticism, which typically is portraying someone's work as despicable with scientifically unsound polemics, is a modern day threat to the traditional standard of discussion in science and popular science. This essay gives seven tell-tale signs by which pseudoskepticism can be recognized.

Ontologies are being used by information scientists in order to facilitate the sharing of meaningful information. However, computational ontologies are problematic in that they often decontextualize information. The semantic content of information is dependent upon the context in which it exists and the experience through which it emerges. For true semantic interoperability to occur among diverse information systems, within or across domains, information must remain contextualized. In order to bring more context to computational ontologies, we introduce culture as an essential (...) concept for information science. Culture helps to focus our attention on and make meaning of relevant extrapersonal structures and their qualities and dimensions that comprise the context and background of the world. In our approach, culture is integral to the study of semantics and, consequently, the study of ontologies and information technologies. The meaning we make of entities and phenomena in the world is always shaped by our cultural experience. If we understand culture as the emergent interplay of intrapersonal cognitive structures and extrapersonal structures of the world, then the notion of cognitive and cultural schemas becomes essential to understanding ontology and the ways in which we might achieve authentic semantic interoperability among diverse information systems. We explore the nature of ontologies and reconceptualize them as cultural schemas. Our proposal is an alternative to the historical path from philosophical ontology to computational ontologies as one that adheres primarily to the notion of ontology as a categorization and classification system. The obvious implication for ontology as categorization is that there is a single objective world that exists and that it can be described as entirely separate from the person observing it. We draw upon Heidegger’s examination of ontology to ground ontology in a phenomenological perspective, enabling it to remain flexible and adaptable and to accommodate context. (shrink)

We offer a critical survey of the most discussed accounts of epistemic peer disagreement that are found in the recent literature. We also sketch an alternative approach in line with a pluralist understanding of epistemic rationality.

Although there are several monistic and dualistic approaches to the mind-body problem on the basis of classical or quantum mechanics, thus far no consensus exists about a solution. Recently, the Elementary Process Theory (EPT) has been developed: this corresponds with a fundamentally new disciplinary matrix for the study of physical reality. The purpose of the present research was to investigate the mind-body problem within this newly developed disciplinary matrix. The main finding is that the idea of a duality of body (...) and mind has to be rejected as an incomplete representation of reality: in the universe of the EPT, man hás to be a trinity of body, spirit and soul, where ‘body’, ‘spirit’ and ‘soul’ are names for distinct physical things. The mind is then a mere idea that arises from (self-)experience, but without onto-logical connotation. In addition a mechanism for mental causation, which implies a principle of choice, is rigorously formulated. The main conclusion is that a fundamentally new physicalist approach to the mind-body problem, according to which man has a free will, has been formulated strictly within the language of the EPT. Further physical research is then required to describe how the interaction between body, spirit and soul is to be understood in terms of fundamental interactions. In addition, further philosophical-theological research has to establish whether the presently discussed trinity and the trinities of body, spirit and soul mentioned in the Bible and the Vedic texts are one and the same thing. -/- Edit: a revised version of this preprint has been published as a book chapter. (shrink)

The physics literature contains many claims that elementary particles have been observed: such observational claims are, of course, important for the development of existential knowledge. Regarding claimed observations of short-lived unstable particles in particular, the use of the word 'observation' is based on the convention in physics that the observation of a short-lived unstable particle can be claimed when its predicted decay products have been observed with a significance of 5 sigma. This paper, however, shows that this 5 sigma convention (...) is inconsistent with existing concepts of observation by showing that unstable particles with a lifetime of less than 0.01 attosecond are fundamentally unobservable both from the perspective of Fox's recent concepts of direct and indirect observation, and from the perspective of Van Fraassen's notion of observability. This cognitive inaccessibility of parts of the subatomic world has far-reaching implications for physics, not the least of which is that the aforementioned convention is untenable: claims that such short-lived unstable particles have been observed will thus have to be retracted. The main implications are two incompleteness theorems for physics, respectively stating (i) that experiments cannot prove completeness of a physical theory predicting short-lived unstable particles, and (ii) that experiments cannot prove correctness of such a theory|one can at most test its empirical adequacy. On a general note, the conclusion is that the importance of philosophical arguments for particle physics is herewith demonstrated: it is, thus, a widespread misconception that philosophical arguments can be completely avoided. (shrink)

Currently there are at least four sizeable projects going on to establish the gravitational acceleration of massive antiparticles on earth. While general relativity and modern quantum theories strictly forbid any repulsive gravity, it has not yet been established experimentally that gravity is attraction only. With that in mind, the Elementary Process Theory (EPT) is a rather abstract theory that has been developed from the hypothesis that massive antiparticles are repulsed by the gravitational field of a body of ordinary matter: the (...) EPT essentially describes the elementary processes by which the smallest massive systems have to interact with their environments for repulsive gravity to exist. In this paper we model a nonrelativistic, one-component massive system that evolves in time by the processes as described by the EPT in an environment described by classical fields: the main result is a semi-classical model of a process at Planck scale by which a non-relativistic onecomponent system interacts with its environment, such that the interaction has both gravitational and electromagnetic aspects. Some worked-out examples are provided, among which the repulsion of an antineutron by the gravitational field of the earth. The general conclusion is that the semi-classical model of the EPT corresponds to non-relativistic classical mechanics. Further research is aimed at demonstrating that the EPT has a model that reproduces the successful predictions of general relativity. (shrink)

Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown (...) with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. (shrink)

On the one hand, theories of modern physics are very successful in their areas of application. But on the other hand, the irreconcilability of General Relativity (GR) and Quantum Electrodynamics (QED) suggests that these theories of modern physics are not the final answer regarding the fundamental workings of the universe. This monograph takes the position that the key to advances in the foundations of physics lies in the hypothesis that massive systems made up of antimatter are repulsed by the gravitational (...) field of a body of ordinary matter: this hypothesis takes us to an uncharted territory where GR and QED do not hold up. From there the Elementary Process Theory (EPT) is developed: this is a collection of seven generalized process-physical principles that do hold up if the hypothesis is a fact of nature. Using four-dimensionalistic terminology, the EPT abstractly describes an elementary process in the temporal evolution of a massive system that interacts with its environment. The idea is that these elementary processes take place at Planck scale and are essentially all the same, regardless of the type of interaction that takes place: the EPT is thus intended as a candidate for a unifying scheme that applies to all four basic interactions. By mathematical modeling, the relation is explored between the EPT and classical mechanics, quantum mechanics, special relativity and GR. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to read McDowell as re-discovering (...) Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Symposium on Christopher Bennet's The Apology Ritual. A Philosophical Theory of Punishment [Cambridge University Press, 2008].

Rawls famously argues that the parties in the original position would agree upon the two principles of justice. Among other things, these principles guarantee equal political liberty—that is, democracy—as a requirement of justice. We argue on the contrary that the parties have reason to reject this requirement. As we show, by Rawls’ own lights, the parties would be greatly concerned to mitigate existential risk. But it is doubtful whether democracy always minimizes such risk. Indeed, no one currently knows which political (...) systems would. Consequently, the parties—and we ourselves—have reason to reject democracy as a requirement of justice in favor of political experimentalism, a general approach to political justice which rules in at least some non-democratic political systems which might minimize existential risk. (shrink)

Dans cet article, j’examine comment Augustin Dibi Kouadio répond à la question du début de l’histoire de la philosophie. En suivant son argumentation telle qu’elle se déploie dans son livre majeur et dans d’autres textes, je découvre que Dibi Kouadio est influencé d’une part par G. W. F. Hegel lorsqu’il s’agit de définir la philosophie, et d’autre part par Paulin Hountondji, pour ce qui concerne la critique de l’ethnophilosophie. Combinées, ces deux influences conduisent Dibi Kouadio à tenir, en rapport avec (...) la philosophie africaine, une position que je me propose de dévoiler et de critiquer, à savoir l’absence de philosophie dans le passé du continent. (shrink)

Par risques majeurs, on entend ceux qui s’attachent à des événements dont les conséquences défavorables, pour l’humanité ou pour l’environnement, sont d’une gravité exceptionnelle. On n’ajoutera ni que ces événements sont d’une intensité physique extrême, ni qu’ils surviennent rarement, car ce n’est pas toujours le cas. Seuls des risques majeurs de nature civile seront considérés dans cet ouvrage, et il s'agira, plus limitativement, de risques naturels, comme ceux d’inondation et de submersion marine, illustrés par la tempête Xynthia en 2010, de (...) risques technologiques industriels, comme celui d’une explosion d'usine, illustré par la catastrophe AZF en 2001, et de risques nucléaires, pour autant qu’ils mettent en jeu les dangers de la radioactivité, et qu’illustrent, hors de France, les catastrophes de Three Miles Island (1979), Tchernobyl (1986) et Fukushima (2011), -/- Conçu comme un rapport destiné au Conseil d'analyse économique (CAE) du Premier Ministre français, l'ouvrage comporte une introduction traitant du risque majeur pris en général (section 1). Dans sa partie principale, il aborde les trois risques majeurs qu'il a sélectionnés à travers les prismes successifs de la géographie et de la technologie (section 2), de l’histoire institutionnelle et juridique (section 3), enfin d’un bilan normatif accompagné de recommandations pour l'action publique (section 4). -/- Neuf compléments spécialisés, dus à d'autres auteurs, complètent l'ouvrage. Ils portent sur des aspects technologiques (F. Ménage; A. Quantin et D. Moucoulon; P. Saint-Raymond), juridiques (V. Sanseverino-Godfrin), économiques généraux (C. Grislain-Letrémy et B. Villeneuve; R. Lahidji; J. Percebois; A. Schmitt et S. Spaeter) et financiers (M. Pappalardo) et ils concernent principalement le risque nucléaire. -/- Dans cet ensemble de vaste format, on espère avoir su proposer, non seulement des évaluations et des préconisations destinées aux pouvoirs publics, comme il convenait au projet initial de rapport, mais aussi une synthèse qui soit utilisable par tous ceux - décideurs, scientifiques ou simples observateurs - que préoccupent les questions de risques majeurs. (shrink)